Im unteren linken Bildschirmrand wird der aktuelle Zustand der Maschine angezeigt. Durch Anklicken des Textes erhält man eine Übersicht über aktuell vorliegende Fehler sowie den Zustand von INvarianten und Deadlocks.
